automatic program synthesis造句

Automatic program synthesis began in the artificial intelligence field, with software intended for automatic problem solving.
The first program synthesizer was developed by Cordell Green in 1969 . At about the same time, mathematicians including R . Waldinger explained the possible use of formal logic for automatic program synthesis.
He received the Turing Award in 1978 " for having a clear influence on methodologies for the creation of efficient and reliable software, and for helping to found the following important subfields of computer science : the theory of parsing, the semantics of programming languages, automatic program verification, automatic program synthesis, and analysis of algorithms ".
It's difficult to find automatic program synthesis in a sentence. 用automatic program synthesis造句挺难的